More from this Author
Found 4 books by Jacques Fleuriot (Editor)
Artificial Intelligence and Symbolic Computation
by Jacques Fleuriot (Editor), Dongming Wang (Editor), Jacques Calmet (Editor)
Automated Deduction in Geometry
by Tetsuo Ida (Editor), Jacques Fleuriot (Editor)
Automated Deduction in Geometry
by Tetsuo Ida (Editor), Jacques Fleuriot (Editor)
Automated Deduction in Geometry
by Tetsuo Ida (Editor), Jacques Fleuriot (Editor)